plot int(1/sqrt(2pi)*exp(-y^2/2), y from x to infinity), e^(-x^2/2)